Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
نویسندگان
چکیده
منابع مشابه
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
Various situations in computer science call for categories that support both cartesian closed and monoidal closed structure. Such situations include (i) models of local state, where the monoidal product describes disjointness of memory, and (ii) treatment of fresh names, as required in models of the π-calculus. I propose a technique to embed the two closed structures into one single structure. ...
متن کاملCompleteness for Algebraic Theories of Local State
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise to equations between programs in the meta-language. An interesting question is this: to what extent can we put equational reasoning for programs into the algebraic theory for the monad? In this paper I focus on local s...
متن کاملAlgebraic Presentations of Dependent Type Theories
In this paper, we propose an abstract definition of dependent type theories as essentially algebraic theories. One of the main advantages of this definition is its composability: simple theories can be combined into more complex ones, and different properties of the resulting theory may be deduced from properties of the basic ones. We define a category of algebraic dependent type theories which...
متن کاملcomparison of the amount of debris extruded apically in two rotary techniques: flexmaster and m2
چکیده ندارد.
15 صفحه اولGenesis of Two Algebraic Theories of Language
1.1 In the present paper, we present our view of how two algebraic theories of language, formulated and developed at about the same point in linguistic history, came into existence. The theories and their variants we have chosen to this end are, on the one hand, the standard theory of transformational grammar, formulated in the mid-1960’s by Noam Chomsky, and, on the other hand, an early versio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.07.103